Curry–Howard correspondence - PDFSEARCH.IO - Document Search Engine

Curry–Howard correspondence
Results: 226

#	Item
61	Middlesex University Research Repository An open access repository of Middlesex University research http://eprints.mdx.ac.uk Berger, Martin and Tratt, LaurenceProgram logics for Add to Reading List Source URL: eprints.mdx.ac.uk Language: English - Date: 2015-04-30 10:24:49 Proof theory Logic in computer science Models of computation Curry–Howard correspondence Philosophy of computer science Type theory Lambda calculus Model theory Modal logic Logic Theoretical computer science Mathematical logic
62	Control in the π-Calculus [Extended Abstract] 1. Kohei Honda Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2004-01-11 10:44:35 Mathematical logic Lambda calculus Logic in computer science Models of computation Curry–Howard correspondence Natural deduction Symbol Valuation Π-calculus Mathematics Proof theory Theoretical computer science
63	Automated Deduction in the B Set Theory using Deduction Modulo? Guillaume Bury1 , David Delahaye1 , Damien Doligez2 , Pierre Halmagrand1 , and Olivier Hermant3 1 Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2015-03-03 08:27:10 Symbol Admissible rule Proof theory First-order logic Entailment Constructible universe Curry–Howard correspondence Orbifold Logic Mathematical logic Deduction
64	[hal, v2] Polarizing Double Negation Translations Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2014-01-28 10:15:20 Sequent calculus Sequent Entailment Intuitionistic logic Gödel–Gentzen negative translation Natural deduction Curry–Howard correspondence Logic Mathematical logic Proof theory
65	Notre Dame Journal of Formal Logic A Simple Proof That Super-Consistency Implies Cut Elimination Gilles Dowek and Olivier Hermant Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2013-02-21 08:17:51 Mathematical logic Proof theory Natural deduction Entailment Function Curry–Howard correspondence Orbifold Logic Mathematics Deduction
66	ISOMORPHISM CLASSES OF HYPERELLIPTIC CURVES OF GENUS 3 OVER FINITE FIELDS EUNKYUNG JEONG DEPARTMENT OF MATHEMATICS POHANG UNIVERSITY OF SCIENCE AND TECHNOLOGY POHANG, 790–784, KOREA Add to Reading List Source URL: eprint.iacr.org Language: English - Date: 2003-11-30 23:34:48 Analytic number theory Algebra Elliptic curve Group theory Hyperelliptic curve Curry–Howard correspondence Ordinal number Hyperelliptic curve cryptography Imaginary hyperelliptic curve Abstract algebra Algebraic curves Mathematics
67	Containment of Aggregate Queries∗ Sara Cohen Faculty of Industrial Engineering and Management Technion—Israel Institute of Technology Haifa 32000, Israel Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2006-07-04 06:02:36 Computer science Field theory Valuation FO Curry–Howard correspondence SQL Conjunctive query Mathematics Computing Algebraic geometry
68	The Subject Reduction Property in the λΠ-calculus modulo Ronan Saillard MINES ParisTech Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2015-01-06 09:50:21 Mathematics Lambda calculus Formal languages Symbol Rewriting Simply typed lambda calculus Combinatory logic Natural deduction Curry–Howard correspondence Theoretical computer science Logic in computer science Applied mathematics
69	The λΠ-calculus Modulo as a Universal Proof Language Mathieu Boespflug1 , Quentin Carbonneaux2 and Olivier Hermant3 1 2 Add to Reading List Source URL: ceur-ws.org Language: English - Date: 2012-07-25 10:49:31 Mathematics Lambda calculus Dependently typed programming Logic in computer science Proof theory Natural deduction Curry–Howard correspondence Calculus of constructions Type system Type theory Programming language theory Theoretical computer science
70	Typed λ-calculus: course notes P. B. Levy University of Birmingham 1 Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2015-04-11 03:52:53 Type theory Formal methods Theoretical computer science Procedural programming languages Proof theory Lambda calculus Type system Standard ML Curry–Howard correspondence Software engineering Programming language theory Mathematics

UPDATE